Skip to content

Conversation

@kakserpom
Copy link
Contributor

Description

It comes in handy to be able to change your extension name.

@coveralls
Copy link

coveralls commented Jul 20, 2025

Pull Request Test Coverage Report for Build 16813098701

Details

  • 6 of 6 (100.0%) changed or added relevant lines in 1 file are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage increased (+0.1%) to 27.249%

Totals Coverage Status
Change from base Build 16812389301: 0.1%
Covered Lines: 1133
Relevant Lines: 4158

💛 - Coveralls

Copy link
Member

@Xenira Xenira left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you. Just some minor nitpicks

@kakserpom kakserpom force-pushed the builder_override_name_and_version branch from 33ea193 to 3c2552e Compare July 20, 2025 19:28
Xenira added a commit to kakserpom/ext-php-rs that referenced this pull request Aug 7, 2025
Xenira added a commit to kakserpom/ext-php-rs that referenced this pull request Aug 7, 2025
@Xenira Xenira force-pushed the builder_override_name_and_version branch from 2c2114e to 84f93b3 Compare August 7, 2025 18:48
@Xenira Xenira merged commit 896cb94 into extphprs:master Aug 7, 2025
55 checks passed
@davidcole1340 davidcole1340 mentioned this pull request Aug 7, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants